homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A homotopy quotient is a quotient (say of a group action) in the context of homotopy theory.
Just as a quotient is a special case of colimit, so a homotopy quotient is a special case of homotopy colimit.
The homotopy quotient of a group action may be modeled by the corresponding action groupoid, which in the context of higher geometry means the corresponding quotient stack.
In type theory/homotopy type theory the analogous concept is that of quotient types.
Last revised on June 14, 2020 at 07:09:56. See the history of this page for a list of all contributions to it.